Arithmetic precision - PDFSEARCH.IO - Document Search Engine

Arithmetic precision
Results: 543

#	Item
51	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
52 $Software / Computing / Mathematical analysis / Computer arithmetic / Continued fractions / Fraction / Configure script / GNU Multiple Precision Arithmetic Library / GNU MPFR / Const / Pi$	libContinuedFraction for version 0.5.0, 4 October 2004 Johan Vervloet () This manual is for libContinuedFraction (version 0.5.0, 4 October 2004), a library which Add to Reading List Source URL: oud.losderover.be Language: English - Date: 2006-09-27 13:02:36 Software Computing Mathematical analysis Computer arithmetic Continued fractions Fraction Configure script GNU Multiple Precision Arithmetic Library GNU MPFR Const Pi
53	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Numerical analysis Arithmetic Floating point Arithmetic underflow Rounding Interval arithmetic Precision Round-off error Significant figures
54	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval
55	GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2015-06-19 17:58:25 Software Computer arithmetic Compiling tools C GNU MPFR GNU Multiple Precision Arithmetic Library Configure script SageMath Rounding GNU Compiler Collection C standard library GNU
56	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
57	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number
58	GNU MP The GNU Multiple Precision Arithmetic Library EditionNovemberby Torbj¨ Add to Reading List Source URL: gmplib.org Language: English - Date: 2015-11-02 22:09:07
59	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression
60	MPIR The Multiple Precision Integers and Rationals Library EditionNovemberOriginal Authors: Torbjorn Granlund and the GMP Development Team Add to Reading List Source URL: www.mpir.org Language: English - Date: 2015-11-20 13:22:42 Compiling tools Cross-platform software Build automation Computer arithmetic Configure script Object-oriented programming languages GNU Multiple Precision Arithmetic Library Autoconf GNU Libtool MPIR Automake Cross compiler

UPDATE